home *** CD-ROM | disk | FTP | other *** search
Text File | 1995-03-15 | 17.6 KB | 745 lines | [TEXT/ttxt] |
-
- # line 33 "../../mindy-1.x/interp/parser.y"
- #include "../compat/std-c.h"
-
- #include "mindy.h"
- #include "lexer.h"
- #include "parser.h"
- #include "list.h"
- #include "str.h"
- #include "sym.h"
- #include "num.h"
- #include "bool.h"
-
-
- static void yyerror(char *);
-
- static obj_t result;
-
- #ifdef __cplusplus
- # include <stdio.h>
- extern "C" {
- extern void yyerror(char *);
- extern int yylex();
- }
- #endif /* __cplusplus */
- # define tok_TRUE 257
- # define tok_FALSE 258
- # define tok_ERROR 259
- # define tok_LPAREN 260
- # define tok_RPAREN 261
- # define tok_DEBUGVAR 262
- # define tok_ARG 263
- # define tok_NUMBER 264
- # define tok_CHARACTER 265
- # define tok_STRING 266
- # define tok_ADDRESS 267
- # define tok_SYMBOL 268
- # define tok_KEYWORD 269
- # define tok_COMMA 270
- #define yyclearin yychar = -1
- #define yyerrok yyerrflag = 0
- extern int yychar;
- #ifndef YYMAXDEPTH
- #define YYMAXDEPTH 150
- #endif
-
- /* __YYSCLASS defines the scoping/storage class for global objects
- * that are NOT renamed by the -p option. By default these names
- * are going to be 'static' so that multi-definition errors
- * will not occur with multiple parsers.
- * If you want (unsupported) access to internal names you need
- * to define this to be null so it implies 'extern' scope.
- * This should not be used in conjunction with -p.
- */
- #ifndef __YYSCLASS
- # define __YYSCLASS static
- #endif
- #ifndef YYSTYPE
- #define YYSTYPE int
- #endif
- YYSTYPE yylval;
- __YYSCLASS YYSTYPE yyval;
- typedef int yytabelem;
- # define YYERRCODE 256
-
- # line 129 "../../mindy-1.x/interp/parser.y"
-
-
- static void yyerror(char *msg)
- {
- yyinput_clear();
- }
-
- YYSTYPE parse_command(FILE *input)
- {
- extern int yyparse();
- yyinput_setter(input);
- return yyparse() ? obj_False : result;
- }
-
- __YYSCLASS yytabelem yyexca[] ={
- -1, 0,
- 0, 3,
- -2, 0,
- -1, 1,
- 0, -1,
- -2, 0,
- };
- # define YYNPROD 26
- # define YYLAST 62
- __YYSCLASS yytabelem yyact[]={
-
- 12, 13, 26, 3, 22, 8, 9, 17, 16, 15,
- 18, 10, 25, 12, 13, 4, 27, 11, 8, 9,
- 17, 16, 15, 18, 10, 25, 12, 13, 23, 6,
- 20, 8, 9, 17, 16, 15, 18, 10, 14, 20,
- 28, 5, 7, 2, 1, 0, 31, 0, 0, 19,
- 24, 0, 0, 0, 0, 29, 0, 30, 24, 0,
- 0, 21 };
- __YYSCLASS yytabelem yypact[]={
-
- -253, -3000, -231, -3000, -3000, -3000, -221, -3000, -3000, -3000,
- -3000, -3000, -3000, -3000, -3000, -3000, -3000, -3000, -3000, -231,
- -257, -3000, -3000, -259, -230, -231, -3000, -3000, -244, -230,
- -3000, -3000 };
- __YYSCLASS yytabelem yypgo[]={
-
- 0, 44, 43, 41, 29, 42, 28, 17, 16 };
- __YYSCLASS yytabelem yyr1[]={
-
- 0, 1, 1, 1, 1, 2, 3, 3, 4, 4,
- 4, 5, 5, 5, 5, 7, 7, 7, 7, 7,
- 7, 7, 6, 6, 8, 8 };
- __YYSCLASS yytabelem yyr2[]={
-
- 0, 5, 3, 1, 3, 2, 3, 7, 3, 7,
- 9, 3, 3, 3, 3, 3, 3, 2, 2, 2,
- 2, 2, 5, 7, 1, 5 };
- __YYSCLASS yytabelem yychk[]={
-
- -3000, -1, -2, 256, 268, -3, -4, -5, 262, 263,
- 268, -7, 257, 258, 269, 266, 265, 264, 267, 270,
- 260, -3, 261, -6, -4, 269, 261, -8, 270, -4,
- -6, -8 };
- __YYSCLASS yytabelem yydef[]={
-
- -2, -2, 2, 4, 5, 1, 6, 8, 11, 12,
- 13, 14, 15, 16, 17, 18, 19, 20, 21, 0,
- 0, 7, 9, 0, 24, 17, 10, 22, 0, 24,
- 25, 23 };
- typedef struct { char *t_name; int t_val; } yytoktype;
- #ifndef YYDEBUG
- # define YYDEBUG 0 /* don't allow debugging */
- #endif
-
- #if YYDEBUG
-
- __YYSCLASS yytoktype yytoks[] =
- {
- "tok_TRUE", 257,
- "tok_FALSE", 258,
- "tok_ERROR", 259,
- "tok_LPAREN", 260,
- "tok_RPAREN", 261,
- "tok_DEBUGVAR", 262,
- "tok_ARG", 263,
- "tok_NUMBER", 264,
- "tok_CHARACTER", 265,
- "tok_STRING", 266,
- "tok_ADDRESS", 267,
- "tok_SYMBOL", 268,
- "tok_KEYWORD", 269,
- "tok_COMMA", 270,
- "-unknown-", -1 /* ends search */
- };
-
- __YYSCLASS char * yyreds[] =
- {
- "-no such reduction-",
- "start : command exprlist",
- "start : command",
- "start : /* empty */",
- "start : error",
- "command : tok_SYMBOL",
- "exprlist : expr",
- "exprlist : expr tok_COMMA exprlist",
- "expr : leaf",
- "expr : expr tok_LPAREN tok_RPAREN",
- "expr : expr tok_LPAREN arglist tok_RPAREN",
- "leaf : tok_DEBUGVAR",
- "leaf : tok_ARG",
- "leaf : tok_SYMBOL",
- "leaf : literal",
- "literal : tok_TRUE",
- "literal : tok_FALSE",
- "literal : tok_KEYWORD",
- "literal : tok_STRING",
- "literal : tok_CHARACTER",
- "literal : tok_NUMBER",
- "literal : tok_ADDRESS",
- "arglist : expr more_args",
- "arglist : tok_KEYWORD expr more_args",
- "more_args : /* empty */",
- "more_args : tok_COMMA arglist",
- };
- #endif /* YYDEBUG */
- #define YYFLAG (-3000)
- /* @(#) $Revision: 70.7 $ */
-
- /*
- ** Skeleton parser driver for yacc output
- */
-
- #if defined(NLS) && !defined(NL_SETN)
- #include <msgbuf.h>
- #endif
-
- #ifndef nl_msg
- #define nl_msg(i,s) (s)
- #endif
-
- /*
- ** yacc user known macros and defines
- */
- #define YYERROR goto yyerrlab
-
- #ifndef __RUNTIME_YYMAXDEPTH
- #define YYACCEPT return(0)
- #define YYABORT return(1)
- #else
- #define YYACCEPT {free_stacks(); return(0);}
- #define YYABORT {free_stacks(); return(1);}
- #endif
-
- #define YYBACKUP( newtoken, newvalue )\
- {\
- if ( yychar >= 0 || ( yyr2[ yytmp ] >> 1 ) != 1 )\
- {\
- yyerror( (nl_msg(30001,"syntax error - cannot backup")) );\
- goto yyerrlab;\
- }\
- yychar = newtoken;\
- yystate = *yyps;\
- yylval = newvalue;\
- goto yynewstate;\
- }
- #define YYRECOVERING() (!!yyerrflag)
- #ifndef YYDEBUG
- # define YYDEBUG 1 /* make debugging available */
- #endif
-
- /*
- ** user known globals
- */
- int yydebug; /* set to 1 to get debugging */
-
- /*
- ** driver internal defines
- */
- /* define for YYFLAG now generated by yacc program. */
- /*#define YYFLAG (FLAGVAL)*/
-
- /*
- ** global variables used by the parser
- */
- # ifndef __RUNTIME_YYMAXDEPTH
- __YYSCLASS YYSTYPE yyv[ YYMAXDEPTH ]; /* value stack */
- __YYSCLASS int yys[ YYMAXDEPTH ]; /* state stack */
- # else
- __YYSCLASS YYSTYPE *yyv; /* pointer to malloc'ed value stack */
- __YYSCLASS int *yys; /* pointer to malloc'ed stack stack */
-
- #if defined(__STDC__) || defined (__cplusplus)
- #include <stdlib.h>
- #else
- extern char *malloc();
- extern char *realloc();
- extern void free();
- #endif /* __STDC__ or __cplusplus */
-
-
- static int allocate_stacks();
- static void free_stacks();
- # ifndef YYINCREMENT
- # define YYINCREMENT (YYMAXDEPTH/2) + 10
- # endif
- # endif /* __RUNTIME_YYMAXDEPTH */
- long yymaxdepth = YYMAXDEPTH;
-
- __YYSCLASS YYSTYPE *yypv; /* top of value stack */
- __YYSCLASS int *yyps; /* top of state stack */
-
- __YYSCLASS int yystate; /* current state */
- __YYSCLASS int yytmp; /* extra var (lasts between blocks) */
-
- int yynerrs; /* number of errors */
- __YYSCLASS int yyerrflag; /* error recovery flag */
- int yychar; /* current input token number */
-
-
-
- /*
- ** yyparse - return 0 if worked, 1 if syntax error not recovered from
- */
- int
- yyparse()
- {
- register YYSTYPE *yypvt; /* top of value stack for $vars */
-
- /*
- ** Initialize externals - yyparse may be called more than once
- */
- # ifdef __RUNTIME_YYMAXDEPTH
- if (allocate_stacks()) YYABORT;
- # endif
- yypv = &yyv[-1];
- yyps = &yys[-1];
- yystate = 0;
- yytmp = 0;
- yynerrs = 0;
- yyerrflag = 0;
- yychar = -1;
-
- goto yystack;
- {
- register YYSTYPE *yy_pv; /* top of value stack */
- register int *yy_ps; /* top of state stack */
- register int yy_state; /* current state */
- register int yy_n; /* internal state number info */
-
- /*
- ** get globals into registers.
- ** branch to here only if YYBACKUP was called.
- */
- yynewstate:
- yy_pv = yypv;
- yy_ps = yyps;
- yy_state = yystate;
- goto yy_newstate;
-
- /*
- ** get globals into registers.
- ** either we just started, or we just finished a reduction
- */
- yystack:
- yy_pv = yypv;
- yy_ps = yyps;
- yy_state = yystate;
-
- /*
- ** top of for (;;) loop while no reductions done
- */
- yy_stack:
- /*
- ** put a state and value onto the stacks
- */
- #if YYDEBUG
- /*
- ** if debugging, look up token value in list of value vs.
- ** name pairs. 0 and negative (-1) are special values.
- ** Note: linear search is used since time is not a real
- ** consideration while debugging.
- */
- if ( yydebug )
- {
- register int yy_i;
-
- printf( "State %d, token ", yy_state );
- if ( yychar == 0 )
- printf( "end-of-file\n" );
- else if ( yychar < 0 )
- printf( "-none-\n" );
- else
- {
- for ( yy_i = 0; yytoks[yy_i].t_val >= 0;
- yy_i++ )
- {
- if ( yytoks[yy_i].t_val == yychar )
- break;
- }
- printf( "%s\n", yytoks[yy_i].t_name );
- }
- }
- #endif /* YYDEBUG */
- if ( ++yy_ps >= &yys[ yymaxdepth ] ) /* room on stack? */
- {
- # ifndef __RUNTIME_YYMAXDEPTH
- yyerror( (nl_msg(30002,"yacc stack overflow")) );
- YYABORT;
- # else
- /* save old stack bases to recalculate pointers */
- YYSTYPE * yyv_old = yyv;
- int * yys_old = yys;
- yymaxdepth += YYINCREMENT;
- yys = (int *) realloc(yys, yymaxdepth * sizeof(int));
- yyv = (YYSTYPE *) realloc(yyv, yymaxdepth * sizeof(YYSTYPE));
- if (yys==0 || yyv==0) {
- yyerror( (nl_msg(30002,"yacc stack overflow")) );
- YYABORT;
- }
- /* Reset pointers into stack */
- yy_ps = (yy_ps - yys_old) + yys;
- yyps = (yyps - yys_old) + yys;
- yy_pv = (yy_pv - yyv_old) + yyv;
- yypv = (yypv - yyv_old) + yyv;
- # endif
-
- }
- *yy_ps = yy_state;
- *++yy_pv = yyval;
-
- /*
- ** we have a new state - find out what to do
- */
- yy_newstate:
- if ( ( yy_n = yypact[ yy_state ] ) <= YYFLAG )
- goto yydefault; /* simple state */
- #if YYDEBUG
- /*
- ** if debugging, need to mark whether new token grabbed
- */
- yytmp = yychar < 0;
- #endif
- if ( ( yychar < 0 ) && ( ( yychar = yylex() ) < 0 ) )
- yychar = 0; /* reached EOF */
- #if YYDEBUG
- if ( yydebug && yytmp )
- {
- register int yy_i;
-
- printf( "Received token " );
- if ( yychar == 0 )
- printf( "end-of-file\n" );
- else if ( yychar < 0 )
- printf( "-none-\n" );
- else
- {
- for ( yy_i = 0; yytoks[yy_i].t_val >= 0;
- yy_i++ )
- {
- if ( yytoks[yy_i].t_val == yychar )
- break;
- }
- printf( "%s\n", yytoks[yy_i].t_name );
- }
- }
- #endif /* YYDEBUG */
- if ( ( ( yy_n += yychar ) < 0 ) || ( yy_n >= YYLAST ) )
- goto yydefault;
- if ( yychk[ yy_n = yyact[ yy_n ] ] == yychar ) /*valid shift*/
- {
- yychar = -1;
- yyval = yylval;
- yy_state = yy_n;
- if ( yyerrflag > 0 )
- yyerrflag--;
- goto yy_stack;
- }
-
- yydefault:
- if ( ( yy_n = yydef[ yy_state ] ) == -2 )
- {
- #if YYDEBUG
- yytmp = yychar < 0;
- #endif
- if ( ( yychar < 0 ) && ( ( yychar = yylex() ) < 0 ) )
- yychar = 0; /* reached EOF */
- #if YYDEBUG
- if ( yydebug && yytmp )
- {
- register int yy_i;
-
- printf( "Received token " );
- if ( yychar == 0 )
- printf( "end-of-file\n" );
- else if ( yychar < 0 )
- printf( "-none-\n" );
- else
- {
- for ( yy_i = 0;
- yytoks[yy_i].t_val >= 0;
- yy_i++ )
- {
- if ( yytoks[yy_i].t_val
- == yychar )
- {
- break;
- }
- }
- printf( "%s\n", yytoks[yy_i].t_name );
- }
- }
- #endif /* YYDEBUG */
- /*
- ** look through exception table
- */
- {
- register int *yyxi = yyexca;
-
- while ( ( *yyxi != -1 ) ||
- ( yyxi[1] != yy_state ) )
- {
- yyxi += 2;
- }
- while ( ( *(yyxi += 2) >= 0 ) &&
- ( *yyxi != yychar ) )
- ;
- if ( ( yy_n = yyxi[1] ) < 0 )
- YYACCEPT;
- }
- }
-
- /*
- ** check for syntax error
- */
- if ( yy_n == 0 ) /* have an error */
- {
- /* no worry about speed here! */
- switch ( yyerrflag )
- {
- case 0: /* new error */
- yyerror( (nl_msg(30003,"syntax error")) );
- yynerrs++;
- goto skip_init;
- yyerrlab:
- /*
- ** get globals into registers.
- ** we have a user generated syntax type error
- */
- yy_pv = yypv;
- yy_ps = yyps;
- yy_state = yystate;
- yynerrs++;
- skip_init:
- case 1:
- case 2: /* incompletely recovered error */
- /* try again... */
- yyerrflag = 3;
- /*
- ** find state where "error" is a legal
- ** shift action
- */
- while ( yy_ps >= yys )
- {
- yy_n = yypact[ *yy_ps ] + YYERRCODE;
- if ( yy_n >= 0 && yy_n < YYLAST &&
- yychk[yyact[yy_n]] == YYERRCODE) {
- /*
- ** simulate shift of "error"
- */
- yy_state = yyact[ yy_n ];
- goto yy_stack;
- }
- /*
- ** current state has no shift on
- ** "error", pop stack
- */
- #if YYDEBUG
- # define _POP_ "Error recovery pops state %d, uncovers state %d\n"
- if ( yydebug )
- printf( _POP_, *yy_ps,
- yy_ps[-1] );
- # undef _POP_
- #endif
- yy_ps--;
- yy_pv--;
- }
- /*
- ** there is no state on stack with "error" as
- ** a valid shift. give up.
- */
- YYABORT;
- case 3: /* no shift yet; eat a token */
- #if YYDEBUG
- /*
- ** if debugging, look up token in list of
- ** pairs. 0 and negative shouldn't occur,
- ** but since timing doesn't matter when
- ** debugging, it doesn't hurt to leave the
- ** tests here.
- */
- if ( yydebug )
- {
- register int yy_i;
-
- printf( "Error recovery discards " );
- if ( yychar == 0 )
- printf( "token end-of-file\n" );
- else if ( yychar < 0 )
- printf( "token -none-\n" );
- else
- {
- for ( yy_i = 0;
- yytoks[yy_i].t_val >= 0;
- yy_i++ )
- {
- if ( yytoks[yy_i].t_val
- == yychar )
- {
- break;
- }
- }
- printf( "token %s\n",
- yytoks[yy_i].t_name );
- }
- }
- #endif /* YYDEBUG */
- if ( yychar == 0 ) /* reached EOF. quit */
- YYABORT;
- yychar = -1;
- goto yy_newstate;
- }
- }/* end if ( yy_n == 0 ) */
- /*
- ** reduction by production yy_n
- ** put stack tops, etc. so things right after switch
- */
- #if YYDEBUG
- /*
- ** if debugging, print the string that is the user's
- ** specification of the reduction which is just about
- ** to be done.
- */
- if ( yydebug )
- printf( "Reduce by (%d) \"%s\"\n",
- yy_n, yyreds[ yy_n ] );
- #endif
- yytmp = yy_n; /* value to switch over */
- yypvt = yy_pv; /* $vars top of value stack */
- /*
- ** Look in goto table for next state
- ** Sorry about using yy_state here as temporary
- ** register variable, but why not, if it works...
- ** If yyr2[ yy_n ] doesn't have the low order bit
- ** set, then there is no action to be done for
- ** this reduction. So, no saving & unsaving of
- ** registers done. The only difference between the
- ** code just after the if and the body of the if is
- ** the goto yy_stack in the body. This way the test
- ** can be made before the choice of what to do is needed.
- */
- {
- /* length of production doubled with extra bit */
- register int yy_len = yyr2[ yy_n ];
-
- if ( !( yy_len & 01 ) )
- {
- yy_len >>= 1;
- yyval = ( yy_pv -= yy_len )[1]; /* $$ = $1 */
- yy_state = yypgo[ yy_n = yyr1[ yy_n ] ] +
- *( yy_ps -= yy_len ) + 1;
- if ( yy_state >= YYLAST ||
- yychk[ yy_state =
- yyact[ yy_state ] ] != -yy_n )
- {
- yy_state = yyact[ yypgo[ yy_n ] ];
- }
- goto yy_stack;
- }
- yy_len >>= 1;
- yyval = ( yy_pv -= yy_len )[1]; /* $$ = $1 */
- yy_state = yypgo[ yy_n = yyr1[ yy_n ] ] +
- *( yy_ps -= yy_len ) + 1;
- if ( yy_state >= YYLAST ||
- yychk[ yy_state = yyact[ yy_state ] ] != -yy_n )
- {
- yy_state = yyact[ yypgo[ yy_n ] ];
- }
- }
- /* save until reenter driver code */
- yystate = yy_state;
- yyps = yy_ps;
- yypv = yy_pv;
- }
- /*
- ** code supplied by user is placed in this switch
- */
- switch( yytmp )
- {
-
- case 1:
- # line 70 "../../mindy-1.x/interp/parser.y"
- { result = pair(yypvt[-1],yypvt[-0]); } break;
- case 2:
- # line 72 "../../mindy-1.x/interp/parser.y"
- { result = pair(yypvt[-0],obj_Nil); } break;
- case 3:
- # line 74 "../../mindy-1.x/interp/parser.y"
- { result = obj_Nil; } break;
- case 4:
- # line 76 "../../mindy-1.x/interp/parser.y"
- { result = make_byte_string("command error: try ``help''"); } break;
- case 6:
- # line 83 "../../mindy-1.x/interp/parser.y"
- { yyval = list1(yypvt[-0]); } break;
- case 7:
- # line 85 "../../mindy-1.x/interp/parser.y"
- { yyval = pair(yypvt[-2], yypvt[-0]); } break;
- case 8:
- # line 89 "../../mindy-1.x/interp/parser.y"
- { yyval = yypvt[-0]; } break;
- case 9:
- # line 91 "../../mindy-1.x/interp/parser.y"
- { yyval = list2(symbol("funcall"), yypvt[-2]); } break;
- case 10:
- # line 93 "../../mindy-1.x/interp/parser.y"
- { yyval = pair(symbol("funcall"), pair(yypvt[-3], yypvt[-1])); } break;
- case 11:
- # line 97 "../../mindy-1.x/interp/parser.y"
- { yyval = pair(symbol("debug-var"), yypvt[-0]); } break;
- case 12:
- # line 99 "../../mindy-1.x/interp/parser.y"
- { yyval = pair(symbol("arg"), yypvt[-0]); } break;
- case 13:
- # line 101 "../../mindy-1.x/interp/parser.y"
- { yyval = pair(symbol("variable"), yypvt[-0]); } break;
- case 14:
- # line 103 "../../mindy-1.x/interp/parser.y"
- { yyval = pair(symbol("literal"), yypvt[-0]); } break;
- case 15:
- # line 107 "../../mindy-1.x/interp/parser.y"
- { yyval = obj_True; } break;
- case 16:
- # line 109 "../../mindy-1.x/interp/parser.y"
- { yyval = obj_False; } break;
- case 22:
- # line 118 "../../mindy-1.x/interp/parser.y"
- { yyval = pair(yypvt[-1], yypvt[-0]); } break;
- case 23:
- # line 120 "../../mindy-1.x/interp/parser.y"
- { yyval = pair(pair(symbol("literal"),yypvt[-2]),pair(yypvt[-1], yypvt[-0])); } break;
- case 24:
- # line 124 "../../mindy-1.x/interp/parser.y"
- { yyval = obj_Nil; } break;
- case 25:
- # line 126 "../../mindy-1.x/interp/parser.y"
- { yyval = yypvt[-0]; } break;
- }
- goto yystack; /* reset registers in driver code */
- }
-
- # ifdef __RUNTIME_YYMAXDEPTH
-
- static int allocate_stacks() {
- /* allocate the yys and yyv stacks */
- yys = (int *) malloc(yymaxdepth * sizeof(int));
- yyv = (YYSTYPE *) malloc(yymaxdepth * sizeof(YYSTYPE));
-
- if (yys==0 || yyv==0) {
- yyerror( (nl_msg(30004,"unable to allocate space for yacc stacks")) );
- return(1);
- }
- else return(0);
-
- }
-
-
- static void free_stacks() {
- if (yys!=0) free((char *) yys);
- if (yyv!=0) free((char *) yyv);
- }
-
- # endif /* defined(__RUNTIME_YYMAXDEPTH) */
-
-